Sfoglia per Serie LECTURE NOTES IN COMPUTER SCIENCE
Nomad: Virtual Environments on P2P Voronoi Overlays
2007-01-01 Ricci, Laura; Salvadori, Andrea
On Evaluating the Performance of Security Protocols
2005-01-01 Bodei, Chiara; Buchholtz, M.; Curti, M.; Degano, Pierpaolo; Nielson, F.; RIIS NIELSON, H.; Priami, Corrado
On the definition of parallel independence in the algebraic approaches to graph transformation
2016-01-01 Corradini, Andrea
Parallel and sequential independence for borrowed contexts
2008-01-01 Bonchi, Filippo; Gadducci, Fabio; Heindel, Tobias
Parallelism in AGREE transformations
2016-01-01 Corradini, Andrea; Duval, Dominique; Prost, Frederic; Ribeiro, Leila
Pattern Matching on Elastic-Degenerate Text with Errors
2017-01-01 Giulia, Bernardini; Pisanti, Nadia; Solon P., Pissis; Rosone, Giovanna
Performance Evaluation for Global Computation
2003-01-01 Brodo, Linda; Degano, Pierpaolo; Gilmore, S; Hillston, J; Priami, Corrado
Pervasive displays in the wild: Employing end user programming in adaption and re-purposing
2015-01-01 Turchi, T.; Malizia, A.
Polyadic soft constraints
2019-01-01 Bonchi, Filippo; Bussi, Laura; Gadducci, Fabio; Santini, Francesco
Power consumption modeling and prediction in a hybrid CPU-GPU-MIC supercomputer
2016-01-01 Sirbu, Alina; Babaoglu, Ozalp
Proof of Concept: Wearable Augmented Reality Video See-Through Display for Neuro-Endoscopy
2018-01-01 Carbone, Marina; Condino, Sara; Cutolo, Fabrizio; Viglialoro, Rosanna Maria; Kaschke, Oliver; Thomale, Ulrich W.; Ferrari, Vincenzo
The Pullback-Pushout approach to algebraic graph transformation
2017-01-01 Corradini, Andrea; Duval, Dominque; Echahed, Rachid; Prost, Frederic; Ribeiro, Leila
Reactive systems, barbed semantics, and the Mobile Ambients
2009-01-01 Bonchi, Filippo; Gadducci, Fabio; Monreale, Giacoma Valentina
Saturated LTSs for adhesive rewriting systems
2010-01-01 Bonchi, Filippo; Gadducci, Fabio; Monreale, Giacoma Valentina; Montanari, UGO GIOVANNI ERASMO
SelfLens: a personal assistive technology to support the independence of people with special needs in reading information on food items
2020-01-01 Galesi, G; Giunipero, L; Leporini, B; Pagliucoli, F; Quatraro, A; Verdi, G.
Semi-negative Abductive Logic Programs with Implicative Integrity Constraints: Semantics and Properties
2012-01-01 Mancarella, PAOLO MARIA; Toni, F.
Service-Oriented and Cloud Computing – 8th IFIP WG 2.14 European Conference, ESOCC 2020.
2020-01-01 Brogi, A.; Zimmermann, W.; Kritikos, K.
Software Technologies: Applications and Foundations STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna Austria, July 4-8, 2016, Revised Selected Papers
2016-01-01 Milazzo, Paolo; Varró, Daniel; Manuel, Wimmer
Specifying graph languages with type graphs
2017-01-01 Corradini, Andrea; Koenig, Barbara; Nolte, Dennis
Term graph rewriting for the π-calculus
2003-01-01 Gadducci, Fabio
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Nomad: Virtual Environments on P2P Voronoi Overlays | 1-gen-2007 | Ricci, Laura; Salvadori, Andrea | |
| On Evaluating the Performance of Security Protocols | 1-gen-2005 | Bodei, Chiara; Buchholtz, M.; Curti, M.; Degano, Pierpaolo; Nielson, F.; RIIS NIELSON, H.; Priami, Corrado | |
| On the definition of parallel independence in the algebraic approaches to graph transformation | 1-gen-2016 | Corradini, Andrea | |
| Parallel and sequential independence for borrowed contexts | 1-gen-2008 | Bonchi, Filippo; Gadducci, Fabio; Heindel, Tobias | |
| Parallelism in AGREE transformations | 1-gen-2016 | Corradini, Andrea; Duval, Dominique; Prost, Frederic; Ribeiro, Leila | |
| Pattern Matching on Elastic-Degenerate Text with Errors | 1-gen-2017 | Giulia, Bernardini; Pisanti, Nadia; Solon P., Pissis; Rosone, Giovanna | |
| Performance Evaluation for Global Computation | 1-gen-2003 | Brodo, Linda; Degano, Pierpaolo; Gilmore, S; Hillston, J; Priami, Corrado | |
| Pervasive displays in the wild: Employing end user programming in adaption and re-purposing | 1-gen-2015 | Turchi, T.; Malizia, A. | |
| Polyadic soft constraints | 1-gen-2019 | Bonchi, Filippo; Bussi, Laura; Gadducci, Fabio; Santini, Francesco | |
| Power consumption modeling and prediction in a hybrid CPU-GPU-MIC supercomputer | 1-gen-2016 | Sirbu, Alina; Babaoglu, Ozalp | |
| Proof of Concept: Wearable Augmented Reality Video See-Through Display for Neuro-Endoscopy | 1-gen-2018 | Carbone, Marina; Condino, Sara; Cutolo, Fabrizio; Viglialoro, Rosanna Maria; Kaschke, Oliver; Thomale, Ulrich W.; Ferrari, Vincenzo | |
| The Pullback-Pushout approach to algebraic graph transformation | 1-gen-2017 | Corradini, Andrea; Duval, Dominque; Echahed, Rachid; Prost, Frederic; Ribeiro, Leila | |
| Reactive systems, barbed semantics, and the Mobile Ambients | 1-gen-2009 | Bonchi, Filippo; Gadducci, Fabio; Monreale, Giacoma Valentina | |
| Saturated LTSs for adhesive rewriting systems | 1-gen-2010 | Bonchi, Filippo; Gadducci, Fabio; Monreale, Giacoma Valentina; Montanari, UGO GIOVANNI ERASMO | |
| SelfLens: a personal assistive technology to support the independence of people with special needs in reading information on food items | 1-gen-2020 | Galesi, G; Giunipero, L; Leporini, B; Pagliucoli, F; Quatraro, A; Verdi, G. | |
| Semi-negative Abductive Logic Programs with Implicative Integrity Constraints: Semantics and Properties | 1-gen-2012 | Mancarella, PAOLO MARIA; Toni, F. | |
| Service-Oriented and Cloud Computing – 8th IFIP WG 2.14 European Conference, ESOCC 2020. | 1-gen-2020 | Brogi, A.; Zimmermann, W.; Kritikos, K. | |
| Software Technologies: Applications and Foundations STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna Austria, July 4-8, 2016, Revised Selected Papers | 1-gen-2016 | Milazzo, Paolo; Varró, Daniel; Manuel, Wimmer | |
| Specifying graph languages with type graphs | 1-gen-2017 | Corradini, Andrea; Koenig, Barbara; Nolte, Dennis | |
| Term graph rewriting for the π-calculus | 1-gen-2003 | Gadducci, Fabio |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile